Reverse Engineering keyboard firmware with Ghidra
blog.usedbytes.comยท2dยท
Discuss: Hacker News
๐Ÿ”ฌBinary Analysis
Refactoring My Own Code: A Tale of Code Crumbles
dev.toยท19hยท
Discuss: DEV
๐Ÿฆ€Rust Macros
Modern C and initializing an array
subethasoftware.comยท1d
๐Ÿ—‚Data structures
Ship Broken Things
matmul.netยท23hยท
Discuss: Hacker News
๐Ÿ”—Topological Sorting
CodeSOD: A JSON Serializer
thedailywtf.comยท1d
๐Ÿ“ฆDeflate
Imagery HTB WriteUp: Season 9 Machine 2
infosecwriteups.comยท1d
๐Ÿ“ŸTerminal Forensics
I Replaced My Toaster's Firmware and Now I'm a Fugitive
jxself.orgยท4h
๐Ÿ”“Hacking
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.orgยท15h
๐Ÿ”—Graph Isomorphism
Three gripes about Go modules
jotaen.netยท1hยท
Discuss: Hacker News
๐ŸงFOSS
Three ways formally verified code can go wrong in practice
buttondown.comยท2h
๐Ÿ“œProof Carrying Code
Slip โ€“ A Lisp System in JavaScript
lisperator.netยท5hยท
Discuss: Hacker News
๐Ÿ”—Lisp
Programmer in Wonderland
binaryigor.comยท1dยท
Discuss: Hacker News
๐Ÿ”ฉSystems Programming
Crafting a Full Exploit RCE from a Crash in Autodesk Revit RFA File Parsing
thezdi.comยท2d
๐ŸงชBinary Fuzzing
How to store ordered information in a Relational Database (2015)
softwareengineering.stackexchange.comยท1dยท
๐ŸงฎAlgebraic Datatypes
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blogยท17hยท
โœ…Format Verification
My old Infocom transcripts
blog.zarfhome.comยท20h
๐Ÿ•น๏ธRetro Gaming
Implicit `operator bool` participates in comparison
quuxplusone.github.ioยท19h
๐Ÿฆ€Rust Verification
Experimentation
theprogrammersparadox.blogspot.comยท1dยท
๐Ÿ“ŠStatic Analysis
Unreliable library of human knowledge
flowingdata.comยท1d
๐Ÿ“ฐContent Curation
The Day I Hacked XCTrack
blog.syrac.orgยท4hยท
Discuss: Hacker News
๐Ÿ”PKI Archaeology